#ifndef IOAPIC_H_
#define IOAPIC_H_

#include <types.h>

dword read_ioapic(void *addr, dword reg);
void write_ioapic(void *addr, dword reg, dword val);

#endif /*IOAPIC_H_*/
